Finite approximation of stably compact spaces
نویسندگان
چکیده
منابع مشابه
Stably compact spaces
The purpose of this article is to develop the basic theory of stably compact spaces (=compact, locally compact, coherent sober spaces) and introduce in an accessible manner with a minimum of prerequisites significant new lines of their investigation and application arising from recent research, primarily in the theoretical computer science community. There are three primary themes that are deve...
متن کاملThe probabilistic powerdomain for stably compact spaces
This paper reviews the one-to-one correspondence between stably compact spaces (a topological concept covering most classes of semantic domains) and compact ordered Hausdorff spaces. The correspondence is extended to certain classes of real-valued functions on these spaces. This is the basis for transferring methods and results from functional analysis to the non-Hausdorff setting. As an applic...
متن کاملThe Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces
Stably compact spaces Xs can be described as being derived from compact ordered spaces X by weakening their topology to the open upper sets. In this paper the probabilistic powerdomain of a stably compact space Xs is investigated using the compact ordered space X and classical tools from measure theory and functional analysis. This allows to derive in a unified and elegant way known and new res...
متن کاملA representation of stably compact spaces, and patch topology
This note presents a concrete representation of stably compact spaces. This is used to give a simple, and predicative, description of the patch topology of a stably compact space (J. Pure Appl. Algebra, to appear). c © 2002 Elsevier B.V. All rights reserved.
متن کاملStably Compact Spaces and the Probabilistic Powerspace construction
We put forward a revised definition of stably compact spaces which allows us to show their equivalence with Nachbin’s compact ordered spaces in an entirely elementary fashion. We then exhibit some constructions for stably compact spaces which apparently have not appeared in the literature before. These constructions allow us to show that the set of (sub-)probability valuations can be equipped w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied General Topology
سال: 2002
ISSN: 1989-4147,1576-9402
DOI: 10.4995/agt.2002.2063